Stable normal forms for polynomial system solving
نویسندگان
چکیده
منابع مشابه
Stable normal forms for polynomial system solving
This paper describes and analyzes a method for computing border bases of a zero-dimensional ideal I . The criterion used in the computation involves specific commutation polynomials and leads to an algorithm and an implementation extending the one provided in [29]. This general border basis algorithm weakens the monomial ordering requirement for Gröbner bases computations. It is up to date the ...
متن کاملNormal forms for general polynomial matrices
We present an algorithm for the computation of a shifted Popov Normal Form of a rectangular polynomial matrix. For specific input shifts, we obtain methods for computing the matrix greatest common divisor of two matrix polynomials (in normal form) or such polynomial normal form computation as the classical Popov form and the Hermite Normal Form. The method is done by embedding the problem of co...
متن کاملDynamic Normal Forms and Dynamic Characteristic Polynomial
We present the first fully dynamic algorithm for computing the characteristic polynomial of a matrix. In the generic symmetric case our algorithm supports rank-one updates in O(n log n) randomized time and queries in constant time, whereas in the general case the algorithm works in O(nk log n) randomized time, where k is the number of invariant factors of the matrix. The algorithm is based on t...
متن کاملThe Posso Library for Polynomial System Solving
The PoSSo library is a sophisticated library of tools for solving systems of polynomial equations. Each tool is supplied as a framework, rather than as a traditional program library or as a self-contained package, providing a unusual level of exibility. Each framework consists of a collection of C++ classes, which allows the customisation of each tool. Customisation can happen either at compile...
متن کاملSolving Trace Equations Using Lexicographical Normal Forms
Very recently, the second author showed that the question whether an equation over a trace monoid has a solution or not is decid-able 11,12]. In the original proof this question is reduced to the solv-ability of word equations with constraints, by induction on the size of the commutation relation. In the present paper we give another proof of this result using lexicographical normal forms. Our ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2008
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2008.09.004